/**
 * 路径格式化  分隔符统一转:/
 * @param path string 处理路径
 * @param pop int 移除末尾层数
 * 		末尾/: 不记层数,仍保留
 * @return string
 */
$.path = function(path, pop=0){
	let V=path.replace(/\\/g,'/'), S=[];
	V.split('/').forEach(v=>{
		if(v==='..') S.pop();
		else if(v && v!=='.') S.push(v);
	});
	if(pop) S=S.slice(0,-pop);  let v;
	v = (V[0]==='/'?'/':'')+S.join('/');
	return v+(v!=='/'&&V.slice(-1)==='/'?'/':'');
};
